properties of dft in digital signal processing